and dimension: definitions